Mapping SDL Specification Fundamentals to Core SDL Ontology

نویسندگان

  • Marina Bagić Babac
  • Marijan Kunštić
چکیده

This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by the International Telecommunications Union Telecommunications Standardization Sector (ITU-T) as recommendation Z.100. The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activities that communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. Being visually appealing SDL provides us with a simple tool for communication either between the software developers or between non-experts without advanced engineering skills. In this paper we propose the ontology for the basic SDL system and process elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The formal semantics of SDL-2000: Status and perspectives

In November 1999, the current version of specification and description language (SDL), commonly referred to as SDL-2000, passed through ITU-T. In November 2000, the formal semantics of SDL2000 was officially approved to become part of the SDL language definition. It covers both the static and the dynamic semantics, and is based on the formalism of abstract state machines (ASMs). To support exec...

متن کامل

Towards SDL Ontology

Web In this paper we have developed the ontology for Specification and Description Language (SDL), an object-oriented, formal language defined by ITUT as recommendation Z.100. The language is intended for the specification of realtime complex and concurrent applications that communicate using discrete signals. SDL formal model bridges the gap between ideas in our minds and the actual implementa...

متن کامل

Enriching SDL Specifications with MSCs

Abstract Software systems evolve through addition of new behaviors and new components to the existing behavior and architecture. In this paper, we address the issue of enriching automatically SDL specifications with new behaviors specified with MSCs. The new behaviors should not inhibit (invalidate) existing and already validated behavior. In other words, the existing behavior should be preserv...

متن کامل

An IDL to SDL2000 compiler

Distributed systems evolution has led telecommunication management network (TMN) systems to use object-oriented middleware paradigm, mainly CORBA (Common Object Request Broker Architecture). CORBA only includes a mechanism for defining object interfaces not for specifying the behaviour of these objects. The behaviour of a TMN system has to follow concrete and restrictive specifications, which a...

متن کامل

TCP Performance Models based on formal Specifications in SDL

Here we contribute to this method integration process and propose a performance evaluation methodology that is based on SDL-specifications extended by queueing stations. This approach supports the analysis of performance behaviour during early design phases and allows protocol designers to make a careful choice of design alternatives. The main advantage of the method is, that an SDL-specificati...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010